type get_texture_binding =
  | GL_TEXTURE_BINDING_1D
  | GL_TEXTURE_BINDING_2D
  | GL_TEXTURE_BINDING_3D
  | GL_TEXTURE_BINDING_CUBE_MAP
